1. Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
پدیدآورنده : Peter Clote, Helmut Schwitchtenberg )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1862